programs.gnome-terminal.profile.<name>.allowBold

If true, allow applications in the terminal to make text boldface.

Type

null or boolean

Default

null

Declared

<home-manager/modules/programs/gnome-terminal.nix>